161. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses
رده :
QA
3
.
L28
no
.
1429
162. Logic and discrete mathematics : a computer science perspective
پدیدآورنده : Grassmann, Winfried K
موضوع : ، Computer science -- Mathematics
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
163. Logic and discrete mathematics : a computer science perspective
پدیدآورنده : Grassmann, Winfried K.
کتابخانه: (طهران)
موضوع : Computer science - Mathematics
رده :
QA
76
.
9
.
M35
G725
1996
164. Logic and discrete mathematics: a computer science perspective
پدیدآورنده : Grassmann, Winfried K.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Computer science
رده :
QA
76
.
9
.
M35
G725
1996
165. Logic and language models for computer science /
پدیدآورنده : Henry Hamburger, Dana Richards
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence,Description logics,Formal languages
رده :
QA267
.
3
.
H35
2002
166. Logic and structured design for computer programmers
پدیدآورنده : / Harold J. Rood
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : ب‍رن‍ام‍ه‌ن‍وی‍س‍ی,ب‍رن‍ام‍ه‌ن‍وی‍س‍ی س‍اخ‍ت‍ار ی‍اف‍ت‍ه,م‍ن‍طق ری‍اض‍ی
رده :
QA
۷۶
/
۶
/
ر
۹
ل
۲ ۱۳۸۰
167. Logic at Botik'89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : Proceedings
پدیدآورنده : A.R. Meyer, M.A. Taitslin )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
363
168. Logic at Botik '89: symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Computers architecture,، Programming language )Electronic Computers(
رده :
QA
75
.
5
.
B67
1989
169. Logic design and computer organization
پدیدآورنده : Morton H. Lewin
موضوع : Logic design,Computer organization
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
170. Logic design and computer organization
پدیدآورنده : Lewin, Morton H.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Logic design,، Computer architecture
رده :
TK
7868
.
L6
L48
1983
171. Logic design and computer organization
پدیدآورنده : Lewin, Morton
کتابخانه: (سمنان)
موضوع : ، Logic design,، Computer architecture
رده :
TK
7868
.
L6L4
172. Logic design with Pascal :computer-aided design techniques
پدیدآورنده : Thomas Downs, Mark F. Schulz
موضوع : Logic circuits--Design and construction--Data processing,Computer-aided design,Pascal (Computer program language)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
173. Logic design with pascal computer-aided design techniques
پدیدآورنده : / Thomas Downs, Mark F. Schulz
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic circuits- Design and construction- Data processing,Computer-aided design,PASCAL (Computer program language)
رده :
TK7868
.
L6D68
1988
174. Logic & discrete mathematics, a computer science perspective
پدیدآورنده : Grassmann, Winfried Karl
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Computer science - mathematics
رده :
QA
76
.
9
.
M35
G7
175. Logic for Computer Science and Artificial Intelligence
پدیدآورنده : / Caferra
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ELECTRONIC&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, ELECTRICAL
رده :
E-BOOK
176. Logic for computer science /
پدیدآورنده : Steve Reeves, Michael Clarke
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
R34
1990
177. Logic for computer science
پدیدآورنده : Reeves, Steve
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Logic, symbolic and mathematical
رده :
QA
9
.
R34
1990
178. Logic for computer science and artificial intelligence
پدیدآورنده : Ricardo Caferra
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence,Computer logic
رده :
QA76
.
9
.
L63
C344
2011
179. Logic for computer science and artificial intelligence
پدیدآورنده : Ricardo Caferra
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Computer logic,Artificial intelligence
رده :
QA
76
,.
9
.
C22L6
2011
180. Logic for computer science:foundations of automatic theorem
پدیدآورنده : GALLIER,JEAN H
کتابخانه: (طهران)
موضوع : AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
9
.
A96
G35
